1. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
پدیدآورنده : Christian Herde ; With a foreword by Martin Fränzle.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
رده :
QA76
.
9
.
A96
H47
2011
